581. Theorem proving with the real numbers.
Author: John Harrison
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
A96
J646
2012
582. Theory of Bergman Spaces
Author: by Haakan Hedenmalm, Boris Korenblum, Kehe Zhu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Global analysis (Mathematics).,Mathematics.
583. Theory of infinite sequences and series
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Sequences (Mathematics) ;
584. There's something about Gödel :
Author: Francesco Berto
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
Classification :
QA9
.
54
.
B4713
2009
585. Threshold graphs and related topics /
Author: N.V.R. Mahadev, U.N. Peled.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Graph theory.,Graphes, Théorie des.,Graph theory.,Graphes, théorie des.,MATHEMATICS-- Graphic Methods.
Classification :
QA166
.
M28
1995eb
586. Time-varying discrete linear systems :
Author: Aristide Halanay, Vlad Ionescu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical optimization.,Mathematics.,Matrix theory.
Classification :
QA402
.
A757
1994
587. Time-varying discrete linear systems :
Author: Aristide Halanay, Vlad Ionescu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical optimization.,Mathematics.,Matrix theory.
588. Time warps, String edits, and macromolecules: The theory and practice of sequence comparison
Author: edited by David Sankoff and Joseph B. Kruskal
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Sequences )Mathematics(,، Pattern perception,، Computational complexity,، Molecular biology,، Speech processing systems
Classification :
QA
292
.
T55
1983
589. Time warps, string edits, and macromolecules
Author: / [edited by] David Sankoff and Joseph B. Kruskal
Library: Library of College of Science University of Tehran (Tehran)
Subject: Sequences (Mathematics),Pattern perception,Computational complexity,Molecular biology,Speech processing systems
Classification :
QA
292
.
T55
1999
590. Toeplitz and circulant matrices :
Author: Robert M. Gray.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Toeplitz matrices.,MATHEMATICS-- Matrices.,Toeplitz matrices.
Classification :
QA188
.
G714
2006eb
591. Topics in K-theory
Author: by L. Luke Howard Hodgkin and V. Snaith
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، K-theory,Spectral sequences )Mathematics(,، Algebra, Homological
Classification :
QA
3
.
L28
no
.
496
592. Topics in K-theory
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: ، k-theory,، Spectral sequences )Mathematics(,، Algebra, Homological
Classification :
QA
1
.
L4
v
.
496
593. Topics in K-theory
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، K-theory,، Spectral sequences )Mathematics(,، Algebra, Homological
Classification :
QA
3
.
L28
no
.
496
594. Topics in K-theory
Author:
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: K-theory.,Spectral sequences (Mathematics),Algebra, Homological. 1
Classification :
E-BOOK
595. Topics in K-theory
Author: / L. Hodgkin, V. Snaith
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: K - Theory,Spectral sequences (Mathematics),Algebra, Homological
Classification :
510
.
8
L471
No
.
496
596. Topics in K-theory : two independent contributions
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، K-theory,، Spectral sequences )Mathematics(,، Algebra, Homological
Classification :
QA
3
.
L28
Vol
.
496
597. Topology
Author: / Marco Manetti
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Topology.,Algebraic topology.,Mathematics.
Classification :
QA611
.
M35
2015
598. Tracking the Automatic ANT
Author: edited by David Gale.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
599. Transactions on Engineering Technologies :
Author: Sio-Iong Ao, Haeng Kon Kim, Mahyar A. Amouzegar, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering, Congresses.,Engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
Classification :
TA5
.
W67
2017
600. Transactions on computational science XXXIII /
Author: Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Internet of things.,Wireless communication systems.,Computer Applications.,Computer Communication Networks.,Logic Design.,Mathematics of Computing.,Operating Systems.,Theory of Computation.,Computer architecture & logic design.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Information technology: general issues.,Internet of things.,Mathematical theory of computation.,Network hardware.,Operating systems.,Wireless communication systems.
Classification :
TK5105
.
8857
